Alias analysis - PDFSEARCH.IO - Document Search Engine

Alias analysis
Results: 43

#	Item
11	Demand-Driven Context-Sensitive Alias Analysis for Java Add to Reading List Source URL: web.cse.ohio-state.edu Language: English - Date: 2011-08-25 16:33:28
12	Demand-Driven Context-Sensitive Alias Analysis for Java Add to Reading List Source URL: web.cse.ohio-state.edu Language: English - Date: 2012-07-12 09:17:39
13	Alias Analysis for Intermediate Code Sanjiv K. Gupta Naveen Sharma System Software Group Add to Reading List Source URL: gcc.cybermirror.org Language: English - Date: 2004-08-29 18:00:00 Pointer Aliasing Addressing mode Alias analysis Programming language theory Computing Software engineering
14	A Formally-Verified Alias Analysis Valentin Robert1,2 and Xavier Leroy1 1 INRIA Paris-Rocquencourt University of California, San Diego Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2012-09-27 10:06:58
15	COMBINING HIGH LEVEL ALIAS ANALYSIS WITH LOW LEVEL CODE COMPACTION OF THE LINUX KERNEL BY JOHN EDISON TRIMBLE A Thesis Submitted to The Honors College Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 2010-09-26 23:49:12 Aliasing Call graph Alias analysis GNU Compiler Collection C Intermediate language Pointer Reference Static single assignment form Software Computing Compiler construction
16	A Formally-Verified Alias Analysis Valentin Robert1,2 and Xavier Leroy1 1 INRIA Paris-Rocquencourt University of California, San Diego Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-09-27 10:06:58 Static program analysis Programming language implementation Compiler construction Alias analysis Pointer Compiler optimization Abstract interpretation ATS Stack Software engineering Computing Programming language theory
17	How is Aliasing Used in Systems Software? Brian Hackett Alex Aiken Computer Science Department Stanford University Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2006-09-05 19:58:01 Computing Digital signal processing Signal processing Aliasing Program analysis Pointer aliasing Alias analysis Call graph Reference Compiler construction Software engineering Programming language theory
18	A Formally-Verified Alias Analysis Valentin Robert1,2 and Xavier Leroy1 1 INRIA Paris-Rocquencourt University of California, San Diego Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-09-27 10:06:58 Static program analysis Programming language implementation Compiler construction Alias analysis Pointer Compiler optimization Abstract interpretation ATS Stack Software engineering Computing Programming language theory
19	Tracking Pointers with Path and Context Sensitivity for Bug Detection in C Programs V. Benjamin Livshits and Monica S. Lam Computer Systems Laboratory Stanford University Stanford, CA 94305 Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2003-06-27 02:40:09 Subroutines Data types Type theory C++ Source code Static single assignment form Pointer Use-define chain Alias analysis Software engineering Computing Computer programming

UPDATE